Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
131	Anna Adamaszek, Andreas Wiese Tutorials: Marvin K¨ unnemann Summer 2014 Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-06-04 08:45:27 Mathematics NP-complete problems Theory of computation Scheduling Theoretical computer science Combinatorial optimization Independent set Makespan Approximation algorithm Matching Operations research Truthful job scheduling
132	Generalized Matrix Factorizations as a Unifying Framework for Pattern Set Mining: Complexity Beyond Blocks Pauli Miettinen Max-Planck-Institut f¨ ur Informatik Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-06-15 11:21:37 Algebra Linear algebra Mathematics Matrices Matrix theory Sparse matrices Matrix Numerical linear algebra Rank Logical matrix Identity matrix Square matrix
133	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
134	459 Documenta Math. K-Theory and the Enriched Tits Building To A. A. Suslin with admiration, on his sixtieth birthday. Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-06-21 16:08:30 Topology Mathematics Abstract algebra Homotopy theory Algebraic topology Simplicial set Simplicial map Nerve Equivariant cohomology Simplicial complex Fundamental group Universal bundle
135	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
136	445 Documenta Math. Motivic Symmetric Spectra J. F. Jardine Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2001-01-23 03:50:27 Homotopy theory Mathematics Abstract algebra Algebra Model category Simplicial presheaf Simplicial set A homotopy theory Weak equivalence Fibration Motivic cohomology Kan fibration
137	Modeling moulin distribution on Sermeq Avannarleq glacier using ASTER and WorldView imagery and fuzzy set theory Add to Reading List Source URL: www.williamcolgan.net Language: English - Date: 2014-05-05 03:38:30 Glaciology Fuzzy logic Logic Physical geography Glacial landforms Water ice Artificial intelligence Moulins Greenland ice sheet Fuzzy set Supraglacial lake Glacier
138	MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Solutions to Problem sheet 2 Jos´e A. Ca˜ nizo March 2013 Add to Reading List Source URL: canizo.org Language: English - Date: 2015-01-23 17:42:07 Topology General topology Topological space Base Cocountable topology Lower limit topology Hausdorff space Cofiniteness Continuous function Closure Open set Urysohn and completely Hausdorff spaces
139	Sensor Networks Continue to Puzzle: Selected Open Problems Thomas Locher, Pascal von Rickenbach, and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland {lochert, pascalv, wattenhofer} Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:15:52 Graph theory Mathematics NP-complete problems Edsger W. Dijkstra Routing algorithms Network theory Unit disk graph Search algorithms Connectivity Topology control Independent set Dominating set
140	MCS 441 – Theory of Computation I Spring 2016 Problem Set 4 Lev Reyzin Due: at the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-03-11 11:17:16 Theoretical computer science Turing machine Theory of computation Computability theory Computer science Alan Turing Models of computation Machine that always halts Computability NP

UPDATE